Optimal. Leaf size=232 \[ \frac {2 a^2 (136 A+156 B+189 C) \sin (c+d x)}{315 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a \cos (c+d x)+a}}+\frac {2 a^2 (52 A+72 B+63 C) \sin (c+d x)}{315 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a \cos (c+d x)+a}}+\frac {4 a^2 (136 A+156 B+189 C) \sin (c+d x)}{315 d \sqrt {\cos (c+d x)} \sqrt {a \cos (c+d x)+a}}+\frac {2 a (A+3 B) \sin (c+d x) \sqrt {a \cos (c+d x)+a}}{21 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {2 A \sin (c+d x) (a \cos (c+d x)+a)^{3/2}}{9 d \cos ^{\frac {9}{2}}(c+d x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.68, antiderivative size = 232, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, integrand size = 45, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {3043, 2975, 2980, 2772, 2771} \[ \frac {2 a^2 (136 A+156 B+189 C) \sin (c+d x)}{315 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a \cos (c+d x)+a}}+\frac {2 a^2 (52 A+72 B+63 C) \sin (c+d x)}{315 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a \cos (c+d x)+a}}+\frac {4 a^2 (136 A+156 B+189 C) \sin (c+d x)}{315 d \sqrt {\cos (c+d x)} \sqrt {a \cos (c+d x)+a}}+\frac {2 a (A+3 B) \sin (c+d x) \sqrt {a \cos (c+d x)+a}}{21 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {2 A \sin (c+d x) (a \cos (c+d x)+a)^{3/2}}{9 d \cos ^{\frac {9}{2}}(c+d x)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2771
Rule 2772
Rule 2975
Rule 2980
Rule 3043
Rubi steps
\begin {align*} \int \frac {(a+a \cos (c+d x))^{3/2} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{\cos ^{\frac {11}{2}}(c+d x)} \, dx &=\frac {2 A (a+a \cos (c+d x))^{3/2} \sin (c+d x)}{9 d \cos ^{\frac {9}{2}}(c+d x)}+\frac {2 \int \frac {(a+a \cos (c+d x))^{3/2} \left (\frac {3}{2} a (A+3 B)+\frac {1}{2} a (4 A+9 C) \cos (c+d x)\right )}{\cos ^{\frac {9}{2}}(c+d x)} \, dx}{9 a}\\ &=\frac {2 a (A+3 B) \sqrt {a+a \cos (c+d x)} \sin (c+d x)}{21 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {2 A (a+a \cos (c+d x))^{3/2} \sin (c+d x)}{9 d \cos ^{\frac {9}{2}}(c+d x)}+\frac {4 \int \frac {\sqrt {a+a \cos (c+d x)} \left (\frac {1}{4} a^2 (52 A+72 B+63 C)+\frac {1}{4} a^2 (40 A+36 B+63 C) \cos (c+d x)\right )}{\cos ^{\frac {7}{2}}(c+d x)} \, dx}{63 a}\\ &=\frac {2 a^2 (52 A+72 B+63 C) \sin (c+d x)}{315 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \cos (c+d x)}}+\frac {2 a (A+3 B) \sqrt {a+a \cos (c+d x)} \sin (c+d x)}{21 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {2 A (a+a \cos (c+d x))^{3/2} \sin (c+d x)}{9 d \cos ^{\frac {9}{2}}(c+d x)}+\frac {1}{105} (a (136 A+156 B+189 C)) \int \frac {\sqrt {a+a \cos (c+d x)}}{\cos ^{\frac {5}{2}}(c+d x)} \, dx\\ &=\frac {2 a^2 (52 A+72 B+63 C) \sin (c+d x)}{315 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \cos (c+d x)}}+\frac {2 a^2 (136 A+156 B+189 C) \sin (c+d x)}{315 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a+a \cos (c+d x)}}+\frac {2 a (A+3 B) \sqrt {a+a \cos (c+d x)} \sin (c+d x)}{21 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {2 A (a+a \cos (c+d x))^{3/2} \sin (c+d x)}{9 d \cos ^{\frac {9}{2}}(c+d x)}+\frac {1}{315} (2 a (136 A+156 B+189 C)) \int \frac {\sqrt {a+a \cos (c+d x)}}{\cos ^{\frac {3}{2}}(c+d x)} \, dx\\ &=\frac {2 a^2 (52 A+72 B+63 C) \sin (c+d x)}{315 d \cos ^{\frac {5}{2}}(c+d x) \sqrt {a+a \cos (c+d x)}}+\frac {2 a^2 (136 A+156 B+189 C) \sin (c+d x)}{315 d \cos ^{\frac {3}{2}}(c+d x) \sqrt {a+a \cos (c+d x)}}+\frac {4 a^2 (136 A+156 B+189 C) \sin (c+d x)}{315 d \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}+\frac {2 a (A+3 B) \sqrt {a+a \cos (c+d x)} \sin (c+d x)}{21 d \cos ^{\frac {7}{2}}(c+d x)}+\frac {2 A (a+a \cos (c+d x))^{3/2} \sin (c+d x)}{9 d \cos ^{\frac {9}{2}}(c+d x)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.98, size = 157, normalized size = 0.68 \[ \frac {a \tan \left (\frac {1}{2} (c+d x)\right ) \sqrt {a (\cos (c+d x)+1)} ((748 A+81 (8 B+7 C)) \cos (c+d x)+(748 A+858 B+882 C) \cos (2 (c+d x))+136 A \cos (3 (c+d x))+136 A \cos (4 (c+d x))+752 A+156 B \cos (3 (c+d x))+156 B \cos (4 (c+d x))+702 B+189 C \cos (3 (c+d x))+189 C \cos (4 (c+d x))+693 C)}{630 d \cos ^{\frac {9}{2}}(c+d x)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.45, size = 134, normalized size = 0.58 \[ \frac {2 \, {\left (2 \, {\left (136 \, A + 156 \, B + 189 \, C\right )} a \cos \left (d x + c\right )^{4} + {\left (136 \, A + 156 \, B + 189 \, C\right )} a \cos \left (d x + c\right )^{3} + 3 \, {\left (34 \, A + 39 \, B + 21 \, C\right )} a \cos \left (d x + c\right )^{2} + 5 \, {\left (17 \, A + 9 \, B\right )} a \cos \left (d x + c\right ) + 35 \, A a\right )} \sqrt {a \cos \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right )}{315 \, {\left (d \cos \left (d x + c\right )^{6} + d \cos \left (d x + c\right )^{5}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.42, size = 164, normalized size = 0.71 \[ -\frac {2 a \left (-1+\cos \left (d x +c \right )\right ) \left (272 A \left (\cos ^{4}\left (d x +c \right )\right )+312 B \left (\cos ^{4}\left (d x +c \right )\right )+378 C \left (\cos ^{4}\left (d x +c \right )\right )+136 A \left (\cos ^{3}\left (d x +c \right )\right )+156 B \left (\cos ^{3}\left (d x +c \right )\right )+189 C \left (\cos ^{3}\left (d x +c \right )\right )+102 A \left (\cos ^{2}\left (d x +c \right )\right )+117 B \left (\cos ^{2}\left (d x +c \right )\right )+63 C \left (\cos ^{2}\left (d x +c \right )\right )+85 A \cos \left (d x +c \right )+45 B \cos \left (d x +c \right )+35 A \right ) \sqrt {a \left (1+\cos \left (d x +c \right )\right )}}{315 d \sin \left (d x +c \right ) \cos \left (d x +c \right )^{\frac {9}{2}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.91, size = 788, normalized size = 3.40 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 8.75, size = 308, normalized size = 1.33 \[ \frac {\sqrt {a+a\,\cos \left (c+d\,x\right )}\,\left (\frac {8\,a\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\sin \left (\frac {c}{2}+\frac {d\,x}{2}\right )\,\left (12\,A+12\,B+13\,C\right )}{5\,d}+\frac {8\,a\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\sin \left (\frac {5\,c}{2}+\frac {5\,d\,x}{2}\right )\,\left (68\,A+78\,B+77\,C\right )}{35\,d}+\frac {8\,a\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\sin \left (\frac {9\,c}{2}+\frac {9\,d\,x}{2}\right )\,\left (136\,A+156\,B+189\,C\right )}{315\,d}-\frac {8\,a\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\sin \left (\frac {3\,c}{2}+\frac {3\,d\,x}{2}\right )\,\left (2\,B+3\,C\right )}{3\,d}\right )}{12\,\sqrt {\cos \left (c+d\,x\right )}\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\cos \left (\frac {c}{2}+\frac {d\,x}{2}\right )+8\,\sqrt {\cos \left (c+d\,x\right )}\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\cos \left (\frac {3\,c}{2}+\frac {3\,d\,x}{2}\right )+8\,\sqrt {\cos \left (c+d\,x\right )}\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\cos \left (\frac {5\,c}{2}+\frac {5\,d\,x}{2}\right )+2\,\sqrt {\cos \left (c+d\,x\right )}\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\cos \left (\frac {7\,c}{2}+\frac {7\,d\,x}{2}\right )+2\,\sqrt {\cos \left (c+d\,x\right )}\,{\mathrm {e}}^{\frac {c\,9{}\mathrm {i}}{2}+\frac {d\,x\,9{}\mathrm {i}}{2}}\,\cos \left (\frac {9\,c}{2}+\frac {9\,d\,x}{2}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________